From cd3990d6eccc0173b4843d5e2971f1acbb45a004 Mon Sep 17 00:00:00 2001 From: Gerd Moellmann Date: Mon, 14 May 2001 14:54:29 +0000 Subject: [PATCH] (note_mouse_highlight): Avoid changing the mouse pointer shape when show_mouse_face has already done it. --- src/xterm.c | 3 +++ 1 file changed, 3 insertions(+) diff --git a/src/xterm.c b/src/xterm.c index 056514d7096..3dfe0fac2aa 100644 --- a/src/xterm.c +++ b/src/xterm.c @@ -6997,6 +6997,7 @@ note_mouse_highlight (f, x, y) /* Display it as active. */ show_mouse_face (dpyinfo, DRAW_MOUSE_FACE); + cursor = None; } /* Handle the text property case. */ else if (!NILP (mouse_face) && BUFFERP (object)) @@ -7038,6 +7039,7 @@ note_mouse_highlight (f, x, y) /* Display it as active. */ show_mouse_face (dpyinfo, DRAW_MOUSE_FACE); + cursor = None; } else if (!NILP (mouse_face) && STRINGP (object)) { @@ -7069,6 +7071,7 @@ note_mouse_highlight (f, x, y) = face_at_string_position (w, object, pos, 0, 0, 0, &ignore, glyph->face_id, 1); show_mouse_face (dpyinfo, DRAW_MOUSE_FACE); + cursor = None; } } -- 2.30.2